Tychinskiy V.Z., Andreeva V.V., Goshin G.G., Matrosova A.Yu. «Applying ROBDDS for logical circuit delay testing» // Izvestiya vuzov. Fizika 2019. №5 C.86-94
Pakhomova Elena G., Ostanin Sergey A., Shulga Sergey A., Matrosova Anjela Yu., Butorina Nataly B., Mitrofanov Evgeny V. «Detection and masking of trojan circuits in sequential logic» // Tomsk State University Journal of Control and Computer Science 2018. №42 C.89-99
